echo Removing old files

del *.glob

del *.vo

del *~


echo Compiling new files

coqc AdditionalTactics.v

coqc Atom.v

coqc Metatheory.v

coqc FJ_Definitions.v
 
coqc FJ_Facts.v

coqc FJ_Properties.v

coqc FJ_Example.v


pause

exit /b